One Hierarchy Spawns Another
نویسندگان
چکیده
منابع مشابه
Give Me Another One!
We investigate the complexity of an optimization problem in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find a satisfying assignment with minimal Hamming distance to a given assignment that satisfies the formula (NearestOtherSolution, NOSol). We present a complete classification with respect to the relations admitted in the for...
متن کاملOne thing leads to another.
In 1956, the JCI published an article by Vincent Dole on a method for titrating plasma fatty acids that uncovered the importance of fatty acids as a substrate for glucose metabolism. When asked to prepare a historical perspective on this very popular paper, I paid Dole a visit and we reminisced. His answer to my question of how he came to do this work on plasma fatty acids was: "Well, one thing...
متن کاملSeparating one organic from another
Env’s transmembrane domain revealed HIV-1’s envelope protein (Env) spans the viral membrane and grants the virus entry into host cells. Env is also the sole protein of HIV-1 that is targeted by antibodies, making it a key target for vaccine design. Dev et al. used nuclear magnetic resonance to determine an atomic-level structure of the membrane-spanning region of Env in a lipid bicelle. Env’s t...
متن کاملFrom One Crayfish to Another
study cultured stem cells from human embryos can proceed without violating the federal ban on embryo research in general. Since that decision, a great deal of excitement has arisen over the possibility that treatment of neurological disease may take a giant leap forward in the near future. The secrets to everything from preventing Alzheimer's Disease to reversing spinal cord damage may soon be ...
متن کاملAnother one bites the dust…
Last week, I received one of those dreaded annual emails. That’s right, the now almost routine one asking faculty to voice their support, or lack thereof, for the ever-declining number of hard copy journals still being purchased by the library. As an associate professor of public health recently promoted to chair of the department, I appreciate their position, of course. The dominance and ease ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2017
ISSN: 1529-3785,1557-945X
DOI: 10.1145/3143805